Proof theory - PDFSEARCH.IO - Document Search Engine

Proof theory
Results: 1637

#	Item
211	OPEN QUESTIONS ABOUT RAMSEY-TYPE STATEMENTS IN REVERSE MATHEMATICS LUDOVIC PATEY Abstract. Ramsey’s theorem states that for any coloring of the n-element subsets of N with finitely many colors, there is an infinite set Add to Reading List Source URL: ludovicpatey.com Language: English - Date: 2015-10-26 09:24:01 Computability theory Mathematical logic Proof theory Theory of computation Logic in computer science Computable function Reverse mathematics PA degree Peano axioms
212	Globalization makes inconsistency unrecognizable John Woods Add to Reading List Source URL: www.johnwoods.ca Language: English - Date: 2015-12-30 14:58:38 Logic Philosophy Abstraction Philosophical logic Non-classical logic Mathematical logic Theories of truth Proof theory Negation Paraconsistent logic False Contradiction
213	Classical provability of uniform versions and intuitionistic provability Makoto Fujiwara∗ Mathematical Institute Tohoku University 6-3, Aramaki Aoba, Aoba-ku Sendai, Miyagi, Japan Add to Reading List Source URL: www.mathematik.tu-darmstadt.de Language: English - Date: 2013-08-17 07:52:06 Computability theory Proof theory Mathematical logic Logic Reverse mathematics Mathematics Philosophy of mathematics
214	Changing dynamics at the zero lower bound Gregor Bäurle, Daniel Kaufmann, Sylvia Kaufmann and Rodney W. Strachan Working PaperThis discussion paper series represents research work-in-progress and is distributed Add to Reading List Source URL: www.szgerzensee.ch Language: English - Date: 2016-03-09 12:12:17 Statistics Probability Mathematical analysis Probability distributions Normal distribution Proof theory Differential topology Riemann surfaces
215	Archive for Mathematical Logic manuscript No. (will be inserted by the editor) Philipp Gerhardy · Ulrich Kohlenbach Extracting Herbrand Disjunctions by Add to Reading List Source URL: www.mathematik.tu-darmstadt.de Language: English - Date: 2012-08-23 06:37:32 Logic Mathematics Abstraction Mathematical logic Model theory Proof theory Semantics Term algebra First-order logic Interpretation Substitution Herbrandization
216	Prof. Dr. Ulrich Kohlenbach Curriculum Vitae Ulrich Wilhelm Kohlenbach CURRENT AFFILIATION: Add to Reading List Source URL: www.mathematik.tu-darmstadt.de Language: English - Date: 2016-05-30 12:23:35 Formal sciences Metalogic Proof theory Philosophers of mathematics Mathematical logic Proof mining Logic Foundations of mathematics Workshop on Logic Language Information and Computation Mathematics Type theory Model theory
217	Intuitionistic choice and restricted classical logic Ulrich Kohlenbach BRICS∗ Department of Computer Science University of Aarhus Ny Munkegade Add to Reading List Source URL: www.mathematik.tu-darmstadt.de Language: English - Date: 2012-11-16 09:11:38 Symbol Operator theory Proof theory Differential forms on a Riemann surface It diffusion
218	ON THE LOGICAL STRENGTHS OF PARTIAL SOLUTIONS TO MATHEMATICAL PROBLEMS LAURENT BIENVENU, LUDOVIC PATEY, AND PAUL SHAFER ABSTRACT. We use the framework of reverse mathematics to address the question of, given a mathematic Add to Reading List Source URL: ludovicpatey.com Language: English - Date: 2015-08-13 12:44:18 Computability theory Logic Proof theory Mathematics Mathematical logic Reverse mathematics Model theory Philosophy of mathematics Symbol Fixed-point theorems Primitive recursive functional Generalised Whitehead product
219	Applications of Proof Interpretations Philipp Gerhardy PhD Dissertation Add to Reading List Source URL: www.mathematik.tu-darmstadt.de Language: English - Date: 2006-09-13 09:52:38 Logic Mathematics Abstraction Model theory Mathematical logic Proof theory Constructivism Jacques Herbrand Proof mining Term algebra First-order logic Fixed-point theorem
220	Reverse Mathematics and a Weak Ramsey-Type K¨onig’s Lemma Ludovic Patey Laurent Bienvenu Add to Reading List Source URL: ludovicpatey.com Language: English - Date: 2013-04-16 05:41:23 Mathematics Logic Mathematical logic Proof theory Abstraction Computability theory Reverse mathematics Second-order arithmetic Theorem Lemma

UPDATE